Knihy od autora Alexander Leitsch

Zobrazeno 1 – 9 z 9 výsledků

1. 

   Automated Model Building

   Ricardo Caferra, Alexander Leitsch, Nicolas Peltier | Springer, 2010

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   3532 Kč

   Koupit
2. 

   Automated Reasoning

   Rajeev Gore, Alexander Leitsch, Tobias Nipkow | Springer Nature B.V., 2014

   
   

   Skladem u dodavatele - Odesíláme za 10-18 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1309 Kč

   Koupit
3. 

   Computational Logic and Proof Theory

   Georg Gottlob, Alexander Leitsch, Daniele Mundici | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1993

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit
4. 

   Methods of Cut-Elimination

   Alexander Leitsch, Matthias Baaz | Springer, 2011

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 13-18 dnů

   Jazyk: Angličtina

   Vazba: Pevná

   2646 Kč

   Koupit
5. 

   Methods of Cut-Elimination

   Matthias Baaz, Alexander Leitsch | Springer Netherlands, 2013

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   2357 Kč

   Koupit
6. 

   Automated Reasoning

   Rajeev Gore, Alexander Leitsch, Tobias Nipkow | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2001

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   2357 Kč

   Koupit
7. 

   Resolution Methods for the Decision Problem

   C. Fernmüller, Alexander Leitsch, ammet Tanel | Springer, Berlin, 1993

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit
8. 

   Resolution Calculus

   Alexander Leitsch | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2011

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1155 Kč

   Koupit
9. 

   Computational Logic and Proof Theory

   Georg Gottlob, Alexander Leitsch, Daniele Mundici | Springer, Berlin, 1997

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit

Získali jsme ocenění Shop roku 2014 - finalista. Zjistěte více